Semantic reasoner

Results: 196



#Item
71Information science / Knowledge representation / Reasoning / Knowledge engineering / Rule Interchange Format / F-logic / Semantic reasoner / Ontoprise GmbH / Web Ontology Language / Semantic Web / Science / Knowledge

The SILK System: Scalable and Expressive Semantic Rules Benjamin Grosof Mike Dean

Add to Reading List

Source URL: silk.semwebcentral.org

Language: English - Date: 2009-09-11 18:28:27
72Reasoning / Information / Science / Information science / Semantic reasoner / Ontology / Knowledge representation and reasoning / Book:Semantic Web / Semantic Web / Knowledge representation / Knowledge engineering

Microsoft PowerPoint - flyer-v4-print2.ppt

Add to Reading List

Source URL: silk.semwebcentral.org

Language: English - Date: 2009-06-12 22:19:21
73Management / Workflow technology / Knowledge representation / Information / Knowledge engineering / Business Process Execution Language / Business Process Model and Notation / Semantic reasoner / Process management / Systems engineering / Semantic Web

SILK: Efficiently Building Systems with Complex Behaviors and Varieties Dr. Carl Andersen Scientist, Knowledge Engineering Group Raytheon BBN Technologies

Add to Reading List

Source URL: silk.semwebcentral.org

Language: English - Date: 2011-07-18 12:02:21
74Science / Knowledge engineering / Knowledge representation / Information science / Semantic reasoner / Semantic integration / Web Ontology Language / Upper ontology / Ontology / Information / Semantic Web

Ontology-mediated Data Integration for real-time Antibiotics Resistance Surveillance SWAT4LS 2014, Berlin Dr. Daniel Schober 1

Add to Reading List

Source URL: www.swat4ls.org

Language: English - Date: 2014-12-21 16:15:39
75Data management / Web services / Knowledge representation / Query languages / Knowledge engineering / SPARQL / Semantic reasoner / RDF query language / SWObjects / Semantic Web / Computing / Information

Query-Based Database Policy Assurance Using Semantic Web Technologies by Jos´e Hiram Soltren S.B., Massachusetts Institute of Technology (2007)

Add to Reading List

Source URL: dig.csail.mit.edu

Language: English - Date: 2011-02-01 14:32:53
76Data management / Web services / Knowledge representation / Query languages / Knowledge engineering / SPARQL / Semantic reasoner / RDF query language / SWObjects / Semantic Web / Computing / Information

Query-Based Database Policy Assurance Using Semantic Web Technologies by Jos´e Hiram Soltren S.B., Massachusetts Institute of Technology (2007)

Add to Reading List

Source URL: dig.csail.mit.edu

Language: English - Date: 2011-02-01 14:33:27
77Logical consequence / Reasoning / Knowledge representation / Knowledge engineering / Semantic Web / Inference / Entailment / Semantic reasoner / Ontology / Logic / Science / Knowledge

Open Research Online The Open University’s repository of research publications and other research outputs Measuring the understandability of deduction rules for OWL

Add to Reading List

Source URL: oro.open.ac.uk

Language: English - Date: 2014-11-26 01:15:49
78Semantic Web / Reasoning / Semantics of Business Vocabulary and Business Rules / Datalog / Semantic reasoner / Business rule / Information / Åshild / Heymans / Data management / Data modeling / Unified Modeling Language

1st International Workshop on Business Models, Business Rules and Ontologies (BuROSeptember 21st , 2010, Bressanone/Brixen (Italy). Workshop co-located with the 4th International Conference on Web Reasoning and Ru

Add to Reading List

Source URL: ontorule-project.eu

Language: English - Date: 2012-03-29 10:08:02
79Information / RDF / RDF Schema / Prolog / Triplestore / Semantic reasoner / Clause / Query language / Resource / Semantic Web / Computing / Data management

An optimised Semantic Web query language implementation in Prolog Jan Wielemaker Human Computer Studies (HCS), University of Amsterdam, Kruislaan 419, 1098 VA Amsterdam, The Netherlands,

Add to Reading List

Source URL: www.swi-prolog.org

Language: English - Date: 2015-04-03 07:57:28
80Logical syntax / Semantic Web / Proof theory / Inference / Entailment / Web Ontology Language / Semantic reasoner / Formal proof / Deduction / Logic / Reasoning / Logical consequence

ExampleProofTree_Corrected.png

Add to Reading List

Source URL: oro.open.ac.uk

Language: English - Date: 2014-11-25 16:32:43
UPDATE